and Science - PDFSEARCH.IO - Document Search Engine

and Science
Results: 374638

#	Item
71	Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-07-04 05:45:30 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model
72	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
73	Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2009-07-10 13:52:18 Reputation management Interpersonal relationships Human behavior Accountability Emotions Social constructionism Trust Behavioural sciences Psychology Reputation Trust management Computational trust
74	Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University Add to Reading List Source URL: publications.aston.ac.uk Language: English - Date: 2017-02-05 19:13:20 Mathematical analysis Probability and statistics Probability theory Machine learning Computational neuroscience Computational statistics Artificial neural networks Bayesian statistics Gaussian function Mixture model Mixture distribution Joint probability distribution
75	Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
76	Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-04-15 12:27:37 Mathematics Group theory Graph theory Markov chain Kazhdan's property Stochastic game Markov decision process Distribution -quadratic form
77	Order-LWE and the Hardness of Ring-LWE with Entropic Secrets Zvika Brakerski Renen Perlman Weizmann Institute of Science∗ Abstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-05-21 15:18:19 Cryptography Post-quantum cryptography Lattice-based cryptography Computational hardness assumptions Lie groups Ring learning with errors Learning with errors Lattice Homomorphic encryption Order Entropy Ring learning with errors key exchange
78	SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit Cormac Herley P.C. van Oorschot Add to Reading List Source URL: www.microsoft.com Language: English - Date: 2018-01-04 02:56:22 Philosophy Epistemology Philosophy of science Epistemology of science Analytic philosophy Scientific method Falsifiability Science Hypothetico-deductive model Scientific theory Occam's razor Theory
79	Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2018-05-02 19:51:01 Mathematics Algebra Equations Linear algebra Monomial Ordinary differential equations Recurrence relation Equation solving Elementary algebra Equation System of linear equations Algebraic curve
80	HES-SO \| Master of Science in Engineering Cloud Computing — NoSQL and database as a service Academic year Add to Reading List Source URL: mse-cloud.s3-website-eu-west-1.amazonaws.com Language: English - Date: 2015-12-14 05:10:03 Data management Computing Data Structured storage Database management systems NoSQL Cloud computing Cloud database Data store Database Bigtable Distributed data store